WRITE_RD(sext16(RS1));
